/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / scheme / schmrprt / r4rs.lha / notes.tex

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 65 78 74 72 61 70 61 | 72 74 7b 4e 6f 74 65 73 |\extrapa|rt{Notes|
|00000010| 7d 0a 0a 0a 5c 74 6f 64 | 6f 7b 50 65 72 68 61 70 |}...\tod|o{Perhap|
|00000020| 73 20 74 68 69 73 20 73 | 65 63 74 69 6f 6e 20 73 |s this s|ection s|
|00000030| 68 6f 75 6c 64 20 62 65 | 20 6d 61 64 65 20 74 6f |hould be| made to|
|00000040| 20 64 69 73 61 70 70 65 | 61 72 2e 0a 43 61 6e 20 | disappe|ar..Can |
|00000050| 74 68 65 73 65 20 72 65 | 6d 61 72 6b 73 20 62 65 |these re|marks be|
|00000060| 20 6d 6f 76 65 64 20 73 | 6f 6d 65 77 68 65 72 65 | moved s|omewhere|
|00000070| 20 65 6c 73 65 3f 7d 0a | 0a 5c 73 75 62 73 65 63 | else?}.|.\subsec|
|00000080| 74 69 6f 6e 2a 7b 4c 61 | 6e 67 75 61 67 65 20 63 |tion*{La|nguage c|
|00000090| 68 61 6e 67 65 73 7d 0a | 5c 6c 61 62 65 6c 7b 64 |hanges}.|\label{d|
|000000a0| 69 66 66 65 72 65 6e 63 | 65 73 7d 0a 0a 54 68 69 |ifferenc|es}..Thi|
|000000b0| 73 20 73 65 63 74 69 6f | 6e 20 65 6e 75 6d 65 72 |s sectio|n enumer|
|000000c0| 61 74 65 73 20 74 68 65 | 20 63 68 61 6e 67 65 73 |ates the| changes|
|000000d0| 20 74 68 61 74 20 68 61 | 76 65 20 62 65 65 6e 20 | that ha|ve been |
|000000e0| 6d 61 64 65 20 74 6f 20 | 53 63 68 65 6d 65 20 73 |made to |Scheme s|
|000000f0| 69 6e 63 65 0a 74 68 65 | 20 60 60 52 65 76 69 73 |ince.the| ``Revis|
|00000100| 65 64 24 5e 33 24 20 72 | 65 70 6f 72 74 27 27 7e |ed$^3$ r|eport''~|
|00000110| 5c 63 69 74 65 7b 52 33 | 52 53 7d 20 77 61 73 20 |\cite{R3|RS} was |
|00000120| 70 75 62 6c 69 73 68 65 | 64 2e 0a 0a 0a 5c 62 65 |publishe|d....\be|
|00000130| 67 69 6e 7b 69 74 65 6d | 69 7a 65 7d 0a 5c 69 74 |gin{item|ize}.\it|
|00000140| 65 6d 20 41 6c 74 68 6f | 75 67 68 20 69 6d 70 6c |em Altho|ugh impl|
|00000150| 65 6d 65 6e 74 61 74 69 | 6f 6e 73 20 6d 61 79 20 |ementati|ons may |
|00000160| 65 78 74 65 6e 64 20 53 | 63 68 65 6d 65 2c 20 74 |extend S|cheme, t|
|00000170| 68 65 79 20 6d 75 73 74 | 20 6f 66 66 65 72 0a 61 |hey must| offer.a|
|00000180| 20 73 79 6e 74 61 63 74 | 69 63 20 6d 6f 64 65 20 | syntact|ic mode |
|00000190| 74 68 61 74 20 61 64 64 | 73 20 6e 6f 20 72 65 73 |that add|s no res|
|000001a0| 65 72 76 65 64 20 77 6f | 72 64 73 20 61 6e 64 20 |erved wo|rds and |
|000001b0| 70 72 65 65 6d 70 74 73 | 20 6e 6f 20 6c 65 78 69 |preempts| no lexi|
|000001c0| 63 61 6c 20 63 6f 6e 76 | 65 6e 74 69 6f 6e 73 0a |cal conv|entions.|
|000001d0| 6f 66 20 53 63 68 65 6d | 65 2e 0a 0a 5c 69 74 65 |of Schem|e...\ite|
|000001e0| 6d 20 49 6d 70 6c 65 6d | 65 6e 74 61 74 69 6f 6e |m Implem|entation|
|000001f0| 73 20 6d 61 79 20 72 65 | 70 6f 72 74 20 76 69 6f |s may re|port vio|
|00000200| 6c 61 74 69 6f 6e 73 20 | 6f 66 0a 69 6d 70 6c 65 |lations |of.imple|
|00000210| 6d 65 6e 74 61 74 69 6f | 6e 20 72 65 73 74 72 69 |mentatio|n restri|
|00000220| 63 74 69 6f 6e 73 2e 0a | 0a 5c 69 74 65 6d 20 49 |ctions..|.\item I|
|00000230| 74 20 69 73 20 6e 6f 20 | 6c 6f 6e 67 65 72 20 73 |t is no |longer s|
|00000240| 70 65 63 69 66 69 65 64 | 20 77 68 65 74 68 65 72 |pecified| whether|
|00000250| 20 74 68 65 20 65 6d 70 | 74 79 20 6c 69 73 74 20 | the emp|ty list |
|00000260| 63 6f 75 6e 74 73 20 61 | 73 20 74 72 75 65 0a 6f |counts a|s true.o|
|00000270| 72 20 61 73 20 66 61 6c | 73 65 20 69 6e 20 63 6f |r as fal|se in co|
|00000280| 6e 64 69 74 69 6f 6e 61 | 6c 20 65 78 70 72 65 73 |nditiona|l expres|
|00000290| 73 69 6f 6e 73 2e 20 20 | 49 74 20 73 68 6f 75 6c |sions.  |It shoul|
|000002a0| 64 20 62 65 20 6e 6f 74 | 65 64 20 74 68 61 74 20 |d be not|ed that |
|000002b0| 74 68 65 0a 49 45 45 45 | 20 73 74 61 6e 64 61 72 |the.IEEE| standar|
|000002c0| 64 20 66 6f 72 20 53 63 | 68 65 6d 65 20 72 65 71 |d for Sc|heme req|
|000002d0| 75 69 72 65 73 20 74 68 | 65 20 65 6d 70 74 79 20 |uires th|e empty |
|000002e0| 6c 69 73 74 20 74 6f 20 | 63 6f 75 6e 74 20 61 73 |list to |count as|
|000002f0| 20 74 72 75 65 0a 5c 63 | 69 74 65 7b 49 45 45 45 | true.\c|ite{IEEE|
|00000300| 53 63 68 65 6d 65 7d 2e | 0a 0a 5c 69 74 65 6d 20 |Scheme}.|..\item |
|00000310| 54 68 65 20 73 65 74 73 | 20 64 65 66 69 6e 65 64 |The sets| defined|
|00000320| 20 62 79 20 5c 69 64 65 | 7b 62 6f 6f 6c 65 61 6e | by \ide|{boolean|
|00000330| 3f 7d 2c 20 5c 69 64 65 | 7b 70 61 69 72 3f 7d 2c |?}, \ide|{pair?},|
|00000340| 20 5c 69 64 65 7b 73 79 | 6d 62 6f 6c 3f 7d 2c 0a | \ide{sy|mbol?},.|
|00000350| 5c 69 64 65 7b 6e 75 6d | 62 65 72 3f 7d 2c 20 5c |\ide{num|ber?}, \|
|00000360| 69 64 65 7b 63 68 61 72 | 3f 7d 2c 20 5c 69 64 65 |ide{char|?}, \ide|
|00000370| 7b 73 74 72 69 6e 67 3f | 7d 2c 20 5c 69 64 65 7b |{string?|}, \ide{|
|00000380| 76 65 63 74 6f 72 3f 7d | 2c 20 61 6e 64 20 5c 69 |vector?}|, and \i|
|00000390| 64 65 7b 70 72 6f 63 65 | 64 75 72 65 3f 7d 0a 61 |de{proce|dure?}.a|
|000003a0| 72 65 20 72 65 71 75 69 | 72 65 64 20 74 6f 20 62 |re requi|red to b|
|000003b0| 65 20 64 69 73 6a 6f 69 | 6e 74 2e 0a 0a 5c 69 74 |e disjoi|nt...\it|
|000003c0| 65 6d 20 54 68 65 20 76 | 61 72 69 61 62 6c 65 73 |em The v|ariables|
|000003d0| 20 62 6f 75 6e 64 20 62 | 79 20 61 20 5c 69 64 65 | bound b|y a \ide|
|000003e0| 7b 6c 61 6d 62 64 61 7d | 2c 20 5c 69 64 65 7b 6c |{lambda}|, \ide{l|
|000003f0| 65 74 7d 2c 20 5c 69 64 | 65 7b 6c 65 74 72 65 63 |et}, \id|e{letrec|
|00000400| 7d 2c 0a 61 6e 64 20 5c | 69 64 65 7b 64 6f 7d 20 |},.and \|ide{do} |
|00000410| 6d 75 73 74 20 6e 6f 74 | 20 63 6f 6e 74 61 69 6e |must not| contain|
|00000420| 20 64 75 70 6c 69 63 61 | 74 65 73 2e 0a 0a 5c 69 | duplica|tes...\i|
|00000430| 74 65 6d 20 4e 65 73 74 | 65 64 20 5c 69 64 65 7b |tem Nest|ed \ide{|
|00000440| 62 65 67 69 6e 7d 20 65 | 78 70 72 65 73 73 69 6f |begin} e|xpressio|
|00000450| 6e 73 20 63 6f 6e 74 61 | 69 6e 69 6e 67 20 64 65 |ns conta|ining de|
|00000460| 66 69 6e 69 74 69 6f 6e | 73 20 61 72 65 20 74 72 |finition|s are tr|
|00000470| 65 61 74 65 64 0a 61 73 | 20 61 20 73 65 71 75 65 |eated.as| a seque|
|00000480| 6e 63 65 20 6f 66 20 64 | 65 66 69 6e 69 74 69 6f |nce of d|efinitio|
|00000490| 6e 73 2e 0a 0a 5c 69 74 | 65 6d 20 54 68 65 20 5c |ns...\it|em The \|
|000004a0| 69 64 65 7b 65 71 76 3f | 7d 20 70 72 6f 63 65 64 |ide{eqv?|} proced|
|000004b0| 75 72 65 20 69 73 20 6e | 6f 20 6c 6f 6e 67 65 72 |ure is n|o longer|
|000004c0| 20 72 65 71 75 69 72 65 | 64 20 74 6f 20 62 65 20 | require|d to be |
|000004d0| 74 72 75 65 20 6f 66 20 | 61 6e 79 0a 74 77 6f 20 |true of |any.two |
|000004e0| 65 6d 70 74 79 20 73 74 | 72 69 6e 67 73 20 6f 72 |empty st|rings or|
|000004f0| 20 74 77 6f 20 65 6d 70 | 74 79 20 76 65 63 74 6f | two emp|ty vecto|
|00000500| 72 73 2e 0a 0a 5c 69 74 | 65 6d 20 54 68 65 20 73 |rs...\it|em The s|
|00000510| 79 6e 74 61 78 20 6f 66 | 20 6e 75 6d 65 72 69 63 |yntax of| numeric|
|00000520| 61 6c 20 63 6f 6e 73 74 | 61 6e 74 73 20 68 61 73 |al const|ants has|
|00000530| 20 62 65 65 6e 20 63 68 | 61 6e 67 65 64 2c 20 61 | been ch|anged, a|
|00000540| 6e 64 20 74 68 65 20 65 | 78 61 63 74 6e 65 73 73 |nd the e|xactness|
|00000550| 0a 69 6d 70 6c 69 65 64 | 20 62 79 20 65 61 63 68 |.implied| by each|
|00000560| 20 73 79 6e 74 61 78 20 | 68 61 73 20 62 65 65 6e | syntax |has been|
|00000570| 20 73 70 65 63 69 66 69 | 65 64 2e 0a 0a 5c 69 74 | specifi|ed...\it|
|00000580| 65 6d 20 54 68 65 20 73 | 65 6d 61 6e 74 69 63 73 |em The s|emantics|
|00000590| 20 6f 66 20 6d 61 6e 79 | 20 6e 75 6d 65 72 69 63 | of many| numeric|
|000005a0| 61 6c 20 70 72 6f 63 65 | 64 75 72 65 73 20 68 61 |al proce|dures ha|
|000005b0| 76 65 20 62 65 65 6e 20 | 63 6c 61 72 69 66 69 65 |ve been |clarifie|
|000005c0| 64 2e 0a 0a 5c 69 74 65 | 6d 20 5c 69 64 65 7b 52 |d...\ite|m \ide{R|
|000005d0| 61 74 69 6f 6e 61 6c 69 | 7a 65 7d 20 68 61 73 20 |ationali|ze} has |
|000005e0| 62 65 65 6e 20 72 65 73 | 74 72 69 63 74 65 64 20 |been res|tricted |
|000005f0| 74 6f 20 74 77 6f 20 61 | 72 67 75 6d 65 6e 74 73 |to two a|rguments|
|00000600| 20 61 6e 64 20 69 74 73 | 0a 73 70 65 63 69 66 69 | and its|.specifi|
|00000610| 63 61 74 69 6f 6e 20 63 | 6c 61 72 69 66 69 65 64 |cation c|larified|
|00000620| 2e 0a 0a 5c 69 74 65 6d | 20 54 68 65 20 5c 69 64 |...\item| The \id|
|00000630| 65 7b 6e 75 6d 62 65 72 | 2d 3e 73 74 72 69 6e 67 |e{number|->string|
|00000640| 7d 20 61 6e 64 20 5c 69 | 64 65 7b 73 74 72 69 6e |} and \i|de{strin|
|00000650| 67 2d 3e 6e 75 6d 62 65 | 72 7d 20 70 72 6f 63 65 |g->numbe|r} proce|
|00000660| 64 75 72 65 73 0a 68 61 | 76 65 20 62 65 65 6e 20 |dures.ha|ve been |
|00000670| 63 68 61 6e 67 65 64 2e | 0a 0a 5c 69 74 65 6d 20 |changed.|..\item |
|00000680| 5c 69 64 65 7b 49 6e 74 | 65 67 65 72 2d 3e 63 68 |\ide{Int|eger->ch|
|00000690| 61 72 7d 20 6e 6f 77 20 | 72 65 71 75 69 72 65 73 |ar} now |requires|
|000006a0| 20 61 6e 20 65 78 61 63 | 74 20 69 6e 74 65 67 65 | an exac|t intege|
|000006b0| 72 20 61 72 67 75 6d 65 | 6e 74 2e 0a 0a 5c 69 74 |r argume|nt...\it|
|000006c0| 65 6d 20 54 68 65 20 73 | 70 65 63 69 66 69 63 61 |em The s|pecifica|
|000006d0| 74 69 6f 6e 20 6f 66 20 | 74 68 65 20 5c 69 64 65 |tion of |the \ide|
|000006e0| 7b 66 6f 72 63 65 7d 20 | 70 72 6f 63 65 64 75 72 |{force} |procedur|
|000006f0| 65 20 68 61 73 20 62 65 | 65 6e 0a 77 65 61 6b 65 |e has be|en.weake|
|00000700| 6e 65 64 2e 20 20 54 68 | 65 20 70 72 65 76 69 6f |ned.  Th|e previo|
|00000710| 75 73 20 73 70 65 63 69 | 66 69 63 61 74 69 6f 6e |us speci|fication|
|00000720| 20 77 61 73 20 75 6e 69 | 6d 70 6c 65 6d 65 6e 74 | was uni|mplement|
|00000730| 61 62 6c 65 2e 0a 0a 5c | 69 74 65 6d 20 56 61 72 |able...\|item Var|
|00000740| 69 61 62 6c 65 73 20 72 | 65 6d 6f 76 65 64 3a 20 |iables r|emoved: |
|00000750| 5c 69 64 65 7b 74 7d 2c | 20 5c 69 64 65 7b 6e 69 |\ide{t},| \ide{ni|
|00000760| 6c 7d 2e 0a 0a 5c 69 74 | 65 6d 20 50 72 6f 63 65 |l}...\it|em Proce|
|00000770| 64 75 72 65 73 20 72 65 | 6d 6f 76 65 64 3a 20 5c |dures re|moved: \|
|00000780| 69 64 65 7b 61 70 70 72 | 6f 78 69 6d 61 74 65 7d |ide{appr|oximate}|
|00000790| 2c 20 5c 69 64 65 7b 6c | 61 73 74 2d 70 61 69 72 |, \ide{l|ast-pair|
|000007a0| 7d 2e 0a 0a 5c 69 74 65 | 6d 20 50 72 6f 63 65 64 |}...\ite|m Proced|
|000007b0| 75 72 65 73 20 61 64 64 | 65 64 3a 20 5c 69 64 65 |ures add|ed: \ide|
|000007c0| 7b 6c 69 73 74 3f 7d 2c | 20 5c 69 64 65 7b 70 65 |{list?},| \ide{pe|
|000007d0| 65 6b 2d 63 68 61 72 7d | 2e 0a 0a 5c 69 74 65 6d |ek-char}|...\item|
|000007e0| 20 53 79 6e 74 61 78 65 | 73 20 6d 61 64 65 20 65 | Syntaxe|s made e|
|000007f0| 73 73 65 6e 74 69 61 6c | 3a 20 5c 69 64 65 7b 63 |ssential|: \ide{c|
|00000800| 61 73 65 7d 2c 20 5c 69 | 64 65 7b 61 6e 64 7d 2c |ase}, \i|de{and},|
|00000810| 20 5c 69 64 65 7b 6f 72 | 7d 2c 0a 5c 69 64 65 7b | \ide{or|},.\ide{|
|00000820| 71 75 61 73 69 71 75 6f | 74 65 7d 2e 0a 0a 5c 69 |quasiquo|te}...\i|
|00000830| 74 65 6d 20 50 72 6f 63 | 65 64 75 72 65 73 20 6d |tem Proc|edures m|
|00000840| 61 64 65 20 65 73 73 65 | 6e 74 69 61 6c 3a 0a 5c |ade esse|ntial:.\|
|00000850| 65 6e 64 7b 69 74 65 6d | 69 7a 65 7d 20 20 20 20 |end{item|ize}    |
|00000860| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00000870| 20 25 20 73 6f 20 74 68 | 65 20 6e 65 78 74 20 62 | % so th|e next b|
|00000880| 6c 6f 63 6b 20 69 73 6e | 27 74 20 69 6e 64 65 6e |lock isn|'t inden|
|00000890| 74 65 64 0a 0a 5c 62 65 | 67 69 6e 7b 73 63 68 65 |ted..\be|gin{sche|
|000008a0| 6d 65 7d 0a 72 65 76 65 | 72 73 65 20 20 20 20 20 |me}.reve|rse     |
|000008b0| 20 20 20 63 68 61 72 2d | 63 69 3d 3f 20 20 20 20 |   char-|ci=?    |
|000008c0| 20 20 20 20 6d 61 6b 65 | 2d 73 74 72 69 6e 67 0a |    make|-string.|
|000008d0| 6d 61 78 20 20 20 20 20 | 20 20 20 20 20 20 20 63 |max     |       c|
|000008e0| 68 61 72 2d 63 69 3c 3f | 20 20 20 20 20 20 20 20 |har-ci<?|        |
|000008f0| 73 74 72 69 6e 67 2d 73 | 65 74 21 0a 6d 69 6e 20 |string-s|et!.min |
|00000900| 20 20 20 20 20 20 20 20 | 20 20 20 63 68 61 72 2d |        |   char-|
|00000910| 63 69 3e 3f 20 20 20 20 | 20 20 20 20 73 74 72 69 |ci>?    |    stri|
|00000920| 6e 67 2d 63 69 3d 3f 0a | 6d 6f 64 75 6c 6f 20 20 |ng-ci=?.|modulo  |
|00000930| 20 20 20 20 20 20 20 63 | 68 61 72 2d 63 69 3c 3d |       c|har-ci<=|
|00000940| 3f 20 20 20 20 20 20 20 | 73 74 72 69 6e 67 2d 63 |?       |string-c|
|00000950| 69 3c 3f 0a 67 63 64 20 | 20 20 20 20 20 20 20 20 |i<?.gcd |        |
|00000960| 20 20 20 63 68 61 72 2d | 63 69 3e 3d 3f 20 20 20 |   char-|ci>=?   |
|00000970| 20 20 20 20 73 74 72 69 | 6e 67 2d 63 69 3e 3f 0a |    stri|ng-ci>?.|
|00000980| 6c 63 6d 20 20 20 20 20 | 20 20 20 20 20 20 20 63 |lcm     |       c|
|00000990| 68 61 72 2d 61 6c 70 68 | 61 62 65 74 69 63 3f 20 |har-alph|abetic? |
|000009a0| 73 74 72 69 6e 67 2d 63 | 69 3c 3d 3f 0a 66 6c 6f |string-c|i<=?.flo|
|000009b0| 6f 72 20 20 20 20 20 20 | 20 20 20 20 63 68 61 72 |or      |    char|
|000009c0| 2d 6e 75 6d 65 72 69 63 | 3f 20 20 20 20 73 74 72 |-numeric|?    str|
|000009d0| 69 6e 67 2d 63 69 3e 3d | 3f 0a 63 65 69 6c 69 6e |ing-ci>=|?.ceilin|
|000009e0| 67 20 20 20 20 20 20 20 | 20 63 68 61 72 2d 77 68 |g       | char-wh|
|000009f0| 69 74 65 73 70 61 63 65 | 3f 20 73 74 72 69 6e 67 |itespace|? string|
|00000a00| 2d 61 70 70 65 6e 64 0a | 74 72 75 6e 63 61 74 65 |-append.|truncate|
|00000a10| 20 20 20 20 20 20 20 63 | 68 61 72 2d 6c 6f 77 65 |       c|har-lowe|
|00000a20| 72 2d 63 61 73 65 3f 20 | 6f 70 65 6e 2d 69 6e 70 |r-case? |open-inp|
|00000a30| 75 74 2d 66 69 6c 65 0a | 72 6f 75 6e 64 20 20 20 |ut-file.|round   |
|00000a40| 20 20 20 20 20 20 20 63 | 68 61 72 2d 75 70 70 65 |       c|har-uppe|
|00000a50| 72 2d 63 61 73 65 3f 20 | 6f 70 65 6e 2d 6f 75 74 |r-case? |open-out|
|00000a60| 70 75 74 2d 66 69 6c 65 | 0a 6e 75 6d 62 65 72 2d |put-file|.number-|
|00000a70| 3e 73 74 72 69 6e 67 20 | 63 68 61 72 2d 75 70 63 |>string |char-upc|
|00000a80| 61 73 65 20 20 20 20 20 | 20 63 6c 6f 73 65 2d 69 |ase     | close-i|
|00000a90| 6e 70 75 74 2d 70 6f 72 | 74 0a 73 74 72 69 6e 67 |nput-por|t.string|
|00000aa0| 2d 3e 6e 75 6d 62 65 72 | 20 63 68 61 72 2d 64 6f |->number| char-do|
|00000ab0| 77 6e 63 61 73 65 20 20 | 20 20 63 6c 6f 73 65 2d |wncase  |  close-|
|00000ac0| 6f 75 74 70 75 74 2d 70 | 6f 72 74 0a 5c 65 6e 64 |output-p|ort.\end|
|00000ad0| 7b 73 63 68 65 6d 65 7d | 0a 0a 5c 62 65 67 69 6e |{scheme}|..\begin|
|00000ae0| 7b 69 74 65 6d 69 7a 65 | 7d 20 20 20 20 20 20 20 |{itemize|}       |
|00000af0| 20 20 20 20 20 20 20 20 | 20 20 20 20 25 20 63 6f |        |    % co|
|00000b00| 6e 74 69 6e 75 65 20 77 | 69 74 68 20 74 68 65 20 |ntinue w|ith the |
|00000b10| 6c 61 73 74 20 69 74 65 | 6d 0a 5c 69 74 65 6d 20 |last ite|m.\item |
|00000b20| 50 72 6f 63 65 64 75 72 | 65 73 20 72 65 71 75 69 |Procedur|es requi|
|00000b30| 72 65 64 20 74 6f 20 61 | 63 63 65 70 74 20 6d 6f |red to a|ccept mo|
|00000b40| 72 65 20 67 65 6e 65 72 | 61 6c 20 6e 75 6d 62 65 |re gener|al numbe|
|00000b50| 72 73 20 6f 66 20 61 72 | 67 75 6d 65 6e 74 73 3a |rs of ar|guments:|
|00000b60| 0a 5c 69 64 65 7b 61 70 | 70 65 6e 64 7d 2c 20 5c |.\ide{ap|pend}, \|
|00000b70| 69 64 65 7b 2b 7d 2c 20 | 5c 69 64 65 7b 2a 7d 2c |ide{+}, |\ide{*},|
|00000b80| 20 5c 69 64 65 7b 2d 7d | 20 28 6f 6e 65 20 61 72 | \ide{-}| (one ar|
|00000b90| 67 75 6d 65 6e 74 29 2c | 20 5c 69 64 65 7b 2f 7d |gument),| \ide{/}|
|00000ba0| 20 28 6f 6e 65 0a 61 72 | 67 75 6d 65 6e 74 29 2c | (one.ar|gument),|
|00000bb0| 20 5c 69 64 65 7b 3d 7d | 2c 20 5c 69 64 65 7b 3c | \ide{=}|, \ide{<|
|00000bc0| 7d 2c 20 5c 69 64 65 7b | 3e 7d 2c 20 5c 69 64 65 |}, \ide{|>}, \ide|
|00000bd0| 7b 3c 3d 7d 2c 20 5c 69 | 64 65 7b 3e 3d 7d 2c 20 |{<=}, \i|de{>=}, |
|00000be0| 5c 69 64 65 7b 6d 61 70 | 7d 2c 0a 5c 69 64 65 7b |\ide{map|},.\ide{|
|00000bf0| 66 6f 72 2d 65 61 63 68 | 7d 2e 0a 0a 5c 69 74 65 |for-each|}...\ite|
|00000c00| 6d 20 41 20 6d 61 63 72 | 6f 20 66 61 63 69 6c 69 |m A macr|o facili|
|00000c10| 74 79 20 68 61 73 20 62 | 65 65 6e 20 61 64 64 65 |ty has b|een adde|
|00000c20| 64 20 61 73 20 61 6e 20 | 61 70 70 65 6e 64 69 78 |d as an |appendix|
|00000c30| 20 74 6f 20 74 68 69 73 | 20 72 65 70 6f 72 74 2e | to this| report.|
|00000c40| 0a 0a 5c 74 6f 64 6f 7b | 0a 5c 69 74 65 6d 20 7b |..\todo{|.\item {|
|00000c50| 5c 74 74 20 43 61 6c 6c | 2d 77 69 74 68 2d 69 6e |\tt Call|-with-in|
|00000c60| 70 75 74 2d 66 69 6c 65 | 7d 20 61 6e 64 20 7b 5c |put-file|} and {\|
|00000c70| 74 74 20 63 61 6c 6c 2d | 77 69 74 68 2d 6f 75 74 |tt call-|with-out|
|00000c80| 70 75 74 2d 66 69 6c 65 | 7d 20 72 65 6e 61 6d 65 |put-file|} rename|
|00000c90| 64 0a 74 6f 20 5c 69 64 | 65 7b 63 61 6c 6c 2d 77 |d.to \id|e{call-w|
|00000ca0| 69 74 68 2d 69 6e 70 75 | 74 2d 70 6f 72 74 7d 20 |ith-inpu|t-port} |
|00000cb0| 61 6e 64 20 5c 69 64 65 | 7b 63 61 6c 6c 2d 77 69 |and \ide|{call-wi|
|00000cc0| 74 68 2d 6f 75 74 70 75 | 74 2d 70 6f 72 74 7d 0a |th-outpu|t-port}.|
|00000cd0| 7d 0a 0a 5c 65 6e 64 7b | 69 74 65 6d 69 7a 65 7d |}..\end{|itemize}|
|00000ce0| 0a 0a 0a 5c 74 6f 64 6f | 7b 0a 5c 73 75 62 73 65 |...\todo|{.\subse|
|00000cf0| 63 74 69 6f 6e 2a 7b 43 | 6f 6d 70 61 72 69 73 6f |ction*{C|ompariso|
|00000d00| 6e 20 77 69 74 68 20 74 | 68 65 20 64 69 61 6c 65 |n with t|he diale|
|00000d10| 63 74 20 75 73 65 64 20 | 69 6e 7e 5c 63 69 74 65 |ct used |in~\cite|
|00000d20| 7b 53 49 43 50 7d 7d 0a | 43 6f 6d 70 61 72 65 20 |{SICP}}.|Compare |
|00000d30| 77 69 74 68 20 53 5c 26 | 49 43 50 3a 20 73 69 6d |with S\&|ICP: sim|
|00000d40| 70 6c 65 20 72 65 6e 61 | 6d 69 6e 67 73 20 6c 69 |ple rena|mings li|
|00000d50| 6b 65 20 7b 5c 74 74 20 | 70 72 69 6e 74 7d 3b 20 |ke {\tt |print}; |
|00000d60| 65 61 73 69 6c 79 0a 69 | 6d 70 6c 65 6d 65 6e 74 |easily.i|mplement|
|00000d70| 65 64 20 74 68 69 6e 67 | 73 20 6c 69 6b 65 20 7b |ed thing|s like {|
|00000d80| 5c 74 74 20 63 6f 6e 73 | 2d 73 74 72 65 61 6d 7d |\tt cons|-stream}|
|00000d90| 3b 20 6d 6f 72 65 20 67 | 72 61 76 65 20 61 6e 64 |; more g|rave and|
|00000da0| 20 63 6f 6e 74 72 6f 76 | 65 72 73 69 61 6c 0a 6f | controv|ersial.o|
|00000db0| 6d 69 73 73 69 6f 6e 73 | 20 6c 69 6b 65 20 7b 5c |missions| like {\|
|00000dc0| 74 74 20 65 76 61 6c 7d | 20 61 6e 64 20 7b 5c 74 |tt eval}| and {\t|
|00000dd0| 74 20 6d 61 6b 65 2d 65 | 6e 76 69 5c 2d 72 6f 6e |t make-e|nvi\-ron|
|00000de0| 5c 2d 6d 65 6e 74 7d 2e | 7d 0a 0a 25 20 49 20 74 |\-ment}.|}..% I t|
|00000df0| 68 69 6e 6b 20 74 68 65 | 20 63 6f 6d 70 61 72 69 |hink the| compari|
|00000e00| 73 6f 6e 20 77 69 74 68 | 20 53 26 49 43 50 20 69 |son with| S&ICP i|
|00000e10| 73 20 6e 6f 20 6c 6f 6e | 67 65 72 20 73 6f 20 69 |s no lon|ger so i|
|00000e20| 6d 70 6f 72 74 61 6e 74 | 2e 0a 25 20 41 20 63 6f |mportant|..% A co|
|00000e30| 6d 70 61 72 69 73 6f 6e | 20 77 69 74 68 20 49 45 |mparison| with IE|
|00000e40| 45 45 20 53 63 68 65 6d | 65 20 6d 69 67 68 74 20 |EE Schem|e might |
|00000e50| 6e 6f 77 20 62 65 20 69 | 6e 20 6f 72 64 65 72 2c |now be i|n order,|
|00000e60| 20 74 68 6f 75 67 68 2e | 0a 25 20 2d 2d 20 57 69 | though.|.% -- Wi|
|00000e70| 6c 6c 2c 20 31 39 39 31 | 2e 0a 0a 25 25 52 34 25 |ll, 1991|...%%R4%|
|00000e80| 25 0a 25 5c 73 75 62 73 | 65 63 74 69 6f 6e 2a 7b |%.%\subs|ection*{|
|00000e90| 4b 65 79 77 6f 72 64 73 | 20 61 73 20 76 61 72 69 |Keywords| as vari|
|00000ea0| 61 62 6c 65 20 6e 61 6d | 65 73 7d 0a 25 0a 25 53 |able nam|es}.%.%S|
|00000eb0| 6f 6d 65 20 69 6d 70 6c | 65 6d 65 6e 74 61 74 69 |ome impl|ementati|
|00000ec0| 6f 6e 73 20 61 6c 6c 6f | 77 20 61 72 62 69 74 72 |ons allo|w arbitr|
|00000ed0| 61 72 79 20 73 79 6e 74 | 61 63 74 69 63 0a 25 6b |ary synt|actic.%k|
|00000ee0| 65 79 77 6f 72 64 73 20 | 5c 69 6e 64 65 78 7b 6b |eywords |\index{k|
|00000ef0| 65 79 77 6f 72 64 7d 5c | 69 6e 64 65 78 7b 73 79 |eyword}\|index{sy|
|00000f00| 6e 74 61 63 74 69 63 20 | 6b 65 79 77 6f 72 64 7d |ntactic |keyword}|
|00000f10| 74 6f 20 62 65 20 75 73 | 65 64 20 61 73 20 76 61 |to be us|ed as va|
|00000f20| 72 69 61 62 6c 65 0a 25 | 6e 61 6d 65 73 2c 20 69 |riable.%|names, i|
|00000f30| 6e 73 74 65 61 64 20 6f | 66 20 72 65 73 65 72 76 |nstead o|f reserv|
|00000f40| 69 6e 67 20 74 68 65 6d | 2c 20 61 73 20 74 68 69 |ing them|, as thi|
|00000f50| 73 20 72 65 70 6f 72 74 | 20 77 6f 75 6c 64 20 68 |s report| would h|
|00000f60| 61 76 65 0a 25 69 74 2e | 5c 69 6e 64 65 78 7b 76 |ave.%it.|\index{v|
|00000f70| 61 72 69 61 62 6c 65 7d | 20 42 75 74 20 74 68 69 |ariable}| But thi|
|00000f80| 73 20 63 72 65 61 74 65 | 73 20 61 6d 62 69 67 75 |s create|s ambigu|
|00000f90| 69 74 69 65 73 20 69 6e | 20 74 68 65 20 69 6e 74 |ities in| the int|
|00000fa0| 65 72 70 72 65 74 61 74 | 69 6f 6e 0a 25 6f 66 20 |erpretat|ion.%of |
|00000fb0| 65 78 70 72 65 73 73 69 | 6f 6e 73 3a 20 66 6f 72 |expressi|ons: for|
|00000fc0| 20 65 78 61 6d 70 6c 65 | 2c 20 69 6e 20 74 68 65 | example|, in the|
|00000fd0| 20 66 6f 6c 6c 6f 77 69 | 6e 67 2c 20 69 74 27 73 | followi|ng, it's|
|00000fe0| 20 6e 6f 74 20 63 6c 65 | 61 72 20 77 68 65 74 68 | not cle|ar wheth|
|00000ff0| 65 72 0a 25 74 68 65 20 | 65 78 70 72 65 73 73 69 |er.%the |expressi|
|00001000| 6f 6e 20 7b 5c 74 74 20 | 28 69 66 20 31 20 32 20 |on {\tt |(if 1 2 |
|00001010| 33 29 7d 20 73 68 6f 75 | 6c 64 20 62 65 20 74 72 |3)} shou|ld be tr|
|00001020| 65 61 74 65 64 20 61 73 | 20 61 20 70 72 6f 63 65 |eated as| a proce|
|00001030| 64 75 72 65 20 63 61 6c | 6c 20 6f 72 0a 25 61 73 |dure cal|l or.%as|
|00001040| 20 61 20 63 6f 6e 64 69 | 74 69 6f 6e 61 6c 2e 0a | a condi|tional..|
|00001050| 25 0a 25 5c 62 65 67 69 | 6e 7b 73 63 68 65 6d 65 |%.%\begi|n{scheme|
|00001060| 7d 0a 25 28 64 65 66 69 | 6e 65 20 69 66 20 6c 69 |}.%(defi|ne if li|
|00001070| 73 74 29 0a 25 28 69 66 | 20 31 20 32 20 33 29 20 |st).%(if| 1 2 3) |
|00001080| 20 20 20 5c 65 76 20 20 | 32 20 7b 5c 65 6d 7b 7d |   \ev  |2 {\em{}|
|00001090| 6f 72 7d 20 28 31 20 32 | 20 33 29 25 0a 25 5c 65 |or} (1 2| 3)%.%\e|
|000010a0| 6e 64 7b 73 63 68 65 6d | 65 7d 0a 25 0a 25 54 68 |nd{schem|e}.%.%Th|
|000010b0| 65 73 65 20 61 6d 62 69 | 67 75 69 74 69 65 73 20 |ese ambi|guities |
|000010c0| 61 72 65 20 75 73 75 61 | 6c 6c 79 20 72 65 73 6f |are usua|lly reso|
|000010d0| 6c 76 65 64 20 69 6e 20 | 73 6f 6d 65 20 63 6f 6e |lved in |some con|
|000010e0| 73 69 73 74 65 6e 74 20 | 77 61 79 20 77 69 74 68 |sistent |way with|
|000010f0| 69 6e 20 61 6e 79 0a 25 | 67 69 76 65 6e 20 69 6d |in any.%|given im|
|00001100| 70 6c 65 6d 65 6e 74 61 | 74 69 6f 6e 2c 20 62 75 |plementa|tion, bu|
|00001110| 74 20 6e 6f 20 70 61 72 | 74 69 63 75 6c 61 72 20 |t no par|ticular |
|00001120| 74 72 65 61 74 6d 65 6e | 74 20 73 74 61 6e 64 73 |treatmen|t stands|
|00001130| 20 6f 75 74 20 61 73 20 | 62 65 69 6e 67 0a 25 63 | out as |being.%c|
|00001140| 6c 65 61 72 6c 79 20 73 | 75 70 65 72 69 6f 72 20 |learly s|uperior |
|00001150| 74 6f 20 61 6e 79 20 6f | 74 68 65 72 2c 20 73 6f |to any o|ther, so|
|00001160| 20 74 68 65 73 65 20 73 | 69 74 75 61 74 69 6f 6e | these s|ituation|
|00001170| 73 20 77 65 72 65 20 65 | 78 63 6c 75 64 65 64 20 |s were e|xcluded |
|00001180| 66 6f 72 20 74 68 65 0a | 25 70 75 72 70 6f 73 65 |for the.|%purpose|
|00001190| 73 20 6f 66 20 74 68 69 | 73 20 72 65 70 6f 72 74 |s of thi|s report|
|000011a0| 2e 0a 0a 25 25 52 34 25 | 25 0a 25 5c 73 75 62 73 |...%%R4%|%.%\subs|
|000011b0| 65 63 74 69 6f 6e 2a 7b | 4d 61 63 72 6f 73 7d 0a |ection*{|Macros}.|
|000011c0| 25 0a 25 53 63 68 65 6d | 65 20 64 6f 65 73 20 6e |%.%Schem|e does n|
|000011d0| 6f 74 20 68 61 76 65 20 | 61 6e 79 20 73 74 61 6e |ot have |any stan|
|000011e0| 64 61 72 64 20 66 61 63 | 69 6c 69 74 79 20 66 6f |dard fac|ility fo|
|000011f0| 72 20 64 65 66 69 6e 69 | 6e 67 20 6e 65 77 20 6b |r defini|ng new k|
|00001200| 69 6e 64 73 20 6f 66 0a | 25 65 78 70 72 65 73 73 |inds of.|%express|
|00001210| 69 6f 6e 73 2e 5c 69 6e | 64 65 78 7b 6d 61 63 72 |ions.\in|dex{macr|
|00001220| 6f 73 7d 0a 25 0a 25 5c | 76 65 73 74 20 54 68 65 |os}.%.%\|vest The|
|00001230| 20 61 62 69 6c 69 74 79 | 20 74 6f 20 61 6c 74 65 | ability| to alte|
|00001240| 72 20 74 68 65 20 73 79 | 6e 74 61 78 20 6f 66 20 |r the sy|ntax of |
|00001250| 74 68 65 20 6c 61 6e 67 | 75 61 67 65 20 63 72 65 |the lang|uage cre|
|00001260| 61 74 65 73 0a 25 6e 75 | 6d 65 72 6f 75 73 20 70 |ates.%nu|merous p|
|00001270| 72 6f 62 6c 65 6d 73 2e | 20 20 41 6c 6c 20 63 75 |roblems.|  All cu|
|00001280| 72 72 65 6e 74 20 69 6d | 70 6c 65 6d 65 6e 74 61 |rrent im|plementa|
|00001290| 74 69 6f 6e 73 20 6f 66 | 20 53 63 68 65 6d 65 20 |tions of| Scheme |
|000012a0| 68 61 76 65 20 6d 61 63 | 72 6f 0a 25 66 61 63 69 |have mac|ro.%faci|
|000012b0| 6c 69 74 69 65 73 20 74 | 68 61 74 20 73 6f 6c 76 |lities t|hat solv|
|000012c0| 65 20 74 68 6f 73 65 20 | 70 72 6f 62 6c 65 6d 73 |e those |problems|
|000012d0| 20 74 6f 20 6f 6e 65 20 | 64 65 67 72 65 65 20 6f | to one |degree o|
|000012e0| 72 20 61 6e 6f 74 68 65 | 72 2c 20 62 75 74 20 74 |r anothe|r, but t|
|000012f0| 68 65 0a 25 73 6f 6c 75 | 74 69 6f 6e 73 20 61 72 |he.%solu|tions ar|
|00001300| 65 20 71 75 69 74 65 20 | 64 69 66 66 65 72 65 6e |e quite |differen|
|00001310| 74 20 61 6e 64 20 69 74 | 20 69 73 6e 27 74 20 63 |t and it| isn't c|
|00001320| 6c 65 61 72 20 61 74 20 | 74 68 69 73 20 74 69 6d |lear at |this tim|
|00001330| 65 20 77 68 69 63 68 0a | 25 73 6f 6c 75 74 69 6f |e which.|%solutio|
|00001340| 6e 20 69 73 20 62 65 73 | 74 2c 20 6f 72 20 69 6e |n is bes|t, or in|
|00001350| 64 65 65 64 20 77 68 65 | 74 68 65 72 20 61 6e 79 |deed whe|ther any|
|00001360| 20 6f 66 20 74 68 65 20 | 73 6f 6c 75 74 69 6f 6e | of the |solution|
|00001370| 73 20 61 72 65 20 74 72 | 75 6c 79 0a 25 61 64 65 |s are tr|uly.%ade|
|00001380| 71 75 61 74 65 2e 20 20 | 52 61 74 68 65 72 20 74 |quate.  |Rather t|
|00001390| 68 61 6e 20 73 74 61 6e | 64 61 72 64 69 7a 65 2c |han stan|dardize,|
|000013a0| 20 77 65 20 61 72 65 20 | 65 6e 63 6f 75 72 61 67 | we are |encourag|
|000013b0| 69 6e 67 20 69 6d 70 6c | 65 6d 65 6e 74 61 74 69 |ing impl|ementati|
|000013c0| 6f 6e 73 0a 25 74 6f 20 | 63 6f 6e 74 69 6e 75 65 |ons.%to |continue|
|000013d0| 20 74 6f 20 65 78 70 65 | 72 69 6d 65 6e 74 20 77 | to expe|riment w|
|000013e0| 69 74 68 20 64 69 66 66 | 65 72 65 6e 74 20 73 6f |ith diff|erent so|
|000013f0| 6c 75 74 69 6f 6e 73 2e | 0a 25 0a 25 5c 76 65 73 |lutions.|.%.%\ves|
|00001400| 74 20 54 68 65 20 6d 61 | 69 6e 20 70 72 6f 62 6c |t The ma|in probl|
|00001410| 65 6d 73 20 77 69 74 68 | 20 74 72 61 64 69 74 69 |ems with| traditi|
|00001420| 6f 6e 61 6c 20 6d 61 63 | 72 6f 73 20 61 72 65 3a |onal mac|ros are:|
|00001430| 20 54 68 65 79 20 6d 75 | 73 74 20 62 65 0a 25 64 | They mu|st be.%d|
|00001440| 65 66 69 6e 65 64 20 74 | 6f 20 74 68 65 20 73 79 |efined t|o the sy|
|00001450| 73 74 65 6d 20 62 65 66 | 6f 72 65 20 61 6e 79 20 |stem bef|ore any |
|00001460| 63 6f 64 65 20 75 73 69 | 6e 67 20 74 68 65 6d 20 |code usi|ng them |
|00001470| 69 73 20 6c 6f 61 64 65 | 64 3b 20 74 68 69 73 20 |is loade|d; this |
|00001480| 69 73 20 61 0a 25 63 6f | 6d 6d 6f 6e 20 73 6f 75 |is a.%co|mmon sou|
|00001490| 72 63 65 20 6f 66 20 6f | 62 73 63 75 72 65 20 62 |rce of o|bscure b|
|000014a0| 75 67 73 2e 20 20 54 68 | 65 79 20 61 72 65 20 75 |ugs.  Th|ey are u|
|000014b0| 73 75 61 6c 6c 79 20 67 | 6c 6f 62 61 6c 3b 20 6d |sually g|lobal; m|
|000014c0| 61 63 72 6f 73 20 63 61 | 6e 20 62 65 0a 25 6d 61 |acros ca|n be.%ma|
|000014d0| 64 65 20 74 6f 20 66 6f | 6c 6c 6f 77 20 6c 65 78 |de to fo|llow lex|
|000014e0| 69 63 61 6c 20 73 63 6f | 70 65 20 72 75 6c 65 73 |ical sco|pe rules|
|000014f0| 20 5c 74 6f 64 6f 7b 66 | 6c 75 73 68 65 64 3a 20 | \todo{f|lushed: |
|00001500| 60 60 61 73 20 69 6e 20 | 43 6f 6d 6d 6f 6e 0a 25 |``as in |Common.%|
|00001510| 4c 69 73 70 27 73 20 7b | 5c 74 74 20 6d 61 63 72 |Lisp's {|\tt macr|
|00001520| 6f 6c 65 74 7d 27 27 3b | 20 4f 4b 3f 7d 2c 20 62 |olet}'';| OK?}, b|
|00001530| 75 74 20 6d 61 6e 79 20 | 70 65 6f 70 6c 65 20 66 |ut many |people f|
|00001540| 69 6e 64 20 74 68 65 20 | 72 65 73 75 6c 74 69 6e |ind the |resultin|
|00001550| 67 20 73 63 6f 70 65 20 | 72 75 6c 65 73 0a 25 63 |g scope |rules.%c|
|00001560| 6f 6e 66 75 73 69 6e 67 | 2e 20 20 55 6e 6c 65 73 |onfusing|.  Unles|
|00001570| 73 20 74 68 65 79 20 61 | 72 65 20 77 72 69 74 74 |s they a|re writt|
|00001580| 65 6e 20 76 65 72 79 20 | 63 61 72 65 66 75 6c 6c |en very |carefull|
|00001590| 79 2c 20 6d 61 63 72 6f | 73 20 61 72 65 0a 25 76 |y, macro|s are.%v|
|000015a0| 75 6c 6e 65 72 61 62 6c | 65 20 74 6f 20 69 6e 61 |ulnerabl|e to ina|
|000015b0| 64 76 65 72 74 61 6e 74 | 20 63 61 70 74 75 72 65 |dvertant| capture|
|000015c0| 20 6f 66 20 66 72 65 65 | 20 76 61 72 69 61 62 6c | of free| variabl|
|000015d0| 65 73 3b 20 74 6f 20 67 | 65 74 20 61 72 6f 75 6e |es; to g|et aroun|
|000015e0| 64 20 74 68 69 73 2c 0a | 25 66 6f 72 20 65 78 61 |d this,.|%for exa|
|000015f0| 6d 70 6c 65 2c 20 6d 61 | 63 72 6f 73 20 6d 61 79 |mple, ma|cros may|
|00001600| 20 68 61 76 65 20 74 6f | 20 67 65 6e 65 72 61 74 | have to| generat|
|00001610| 65 20 63 6f 64 65 20 69 | 6e 20 77 68 69 63 68 20 |e code i|n which |
|00001620| 70 72 6f 63 65 64 75 72 | 65 20 76 61 6c 75 65 73 |procedur|e values|
|00001630| 0a 25 61 70 70 65 61 72 | 20 61 73 20 71 75 6f 74 |.%appear| as quot|
|00001640| 65 64 20 63 6f 6e 73 74 | 61 6e 74 73 2e 20 20 54 |ed const|ants.  T|
|00001650| 68 65 72 65 20 69 73 20 | 61 20 73 69 6d 69 6c 61 |here is |a simila|
|00001660| 72 20 70 72 6f 62 6c 65 | 6d 20 77 69 74 68 20 73 |r proble|m with s|
|00001670| 79 6e 74 61 63 74 69 63 | 0a 25 6b 65 79 77 6f 72 |yntactic|.%keywor|
|00001680| 64 73 20 69 66 20 74 68 | 65 20 6b 65 79 77 6f 72 |ds if th|e keywor|
|00001690| 64 73 20 6f 66 20 73 70 | 65 63 69 61 6c 20 66 6f |ds of sp|ecial fo|
|000016a0| 72 6d 73 20 61 72 65 20 | 6e 6f 74 20 72 65 73 65 |rms are |not rese|
|000016b0| 72 76 65 64 2e 20 20 49 | 66 20 6b 65 79 77 6f 72 |rved.  I|f keywor|
|000016c0| 64 73 0a 25 61 72 65 20 | 72 65 73 65 72 76 65 64 |ds.%are |reserved|
|000016d0| 2c 20 74 68 65 6e 20 65 | 69 74 68 65 72 20 6d 61 |, then e|ither ma|
|000016e0| 63 72 6f 73 20 69 6e 74 | 72 6f 64 75 63 65 20 6e |cros int|roduce n|
|000016f0| 65 77 20 72 65 73 65 72 | 76 65 64 20 77 6f 72 64 |ew reser|ved word|
|00001700| 73 2c 0a 25 69 6e 76 61 | 6c 69 64 61 74 69 6e 67 |s,.%inva|lidating|
|00001710| 20 6f 6c 64 20 63 6f 64 | 65 2c 20 6f 72 20 65 6c | old cod|e, or el|
|00001720| 73 65 20 73 70 65 63 69 | 61 6c 20 66 6f 72 6d 73 |se speci|al forms|
|00001730| 20 64 65 66 69 6e 65 64 | 20 62 79 20 74 68 65 20 | defined| by the |
|00001740| 70 72 6f 67 72 61 6d 6d | 65 72 0a 25 64 6f 20 6e |programm|er.%do n|
|00001750| 6f 74 20 68 61 76 65 20 | 74 68 65 20 73 61 6d 65 |ot have |the same|
|00001760| 20 73 74 61 74 75 73 20 | 61 73 20 73 70 65 63 69 | status |as speci|
|00001770| 61 6c 20 66 6f 72 6d 73 | 20 64 65 66 69 6e 65 64 |al forms| defined|
|00001780| 20 62 79 20 74 68 65 20 | 73 79 73 74 65 6d 2e 0a | by the |system..|
|00001790| 25 0a 25 5c 74 6f 64 6f | 7b 52 65 66 65 72 20 74 |%.%\todo|{Refer t|
|000017a0| 6f 20 50 69 74 6d 61 6e | 27 73 20 73 70 65 63 69 |o Pitman|'s speci|
|000017b0| 61 6c 20 66 6f 72 6d 73 | 20 70 61 70 65 72 2e 7d |al forms| paper.}|
|000017c0| 0a 25 5c 74 6f 64 6f 7b | 50 69 74 6d 61 6e 20 73 |.%\todo{|Pitman s|
|000017d0| 65 7a 3a 20 44 69 73 63 | 75 73 73 20 69 6d 70 6f |ez: Disc|uss impo|
|000017e0| 72 74 61 6e 63 65 20 6f | 66 20 68 61 76 69 6e 67 |rtance o|f having|
|000017f0| 20 61 20 73 6d 61 6c 6c | 20 6e 75 6d 62 65 72 20 | a small| number |
|00001800| 6f 66 20 73 70 65 63 69 | 61 6c 20 66 6f 72 6d 73 |of speci|al forms|
|00001810| 0a 25 73 6f 20 74 68 61 | 74 20 70 72 6f 67 72 61 |.%so tha|t progra|
|00001820| 6d 73 20 63 61 6e 20 69 | 6e 73 70 65 63 74 20 65 |ms can i|nspect e|
|00001830| 61 63 68 20 6f 74 68 65 | 72 2e 7d 0a 0a 5c 74 6f |ach othe|r.}..\to|
|00001840| 64 6f 7b 4d 6f 76 65 20 | 63 77 63 63 20 68 69 73 |do{Move |cwcc his|
|00001850| 74 6f 72 79 20 62 61 63 | 6b 20 68 65 72 65 3f 20 |tory bac|k here? |
|00001860| 2d 2d 2d 20 41 6e 64 79 | 20 43 72 6f 6d 61 72 74 |--- Andy| Cromart|
|00001870| 79 20 69 73 20 63 6f 6e | 63 65 72 6e 65 64 20 61 |y is con|cerned a|
|00001880| 62 6f 75 74 0a 63 6f 6e | 66 75 73 69 6f 6e 20 6f |bout.con|fusion o|
|00001890| 76 65 72 20 77 68 6f 20 | 74 68 65 20 61 75 64 69 |ver who |the audi|
|000018a0| 65 6e 63 65 20 69 73 2e | 7d 0a 0a 5c 74 6f 64 6f |ence is.|}..\todo|
|000018b0| 7b 43 72 6f 6d 61 72 74 | 79 3a 0a 32 33 2e 20 4e |{Cromart|y:.23. N|
|000018c0| 4f 54 45 53 2c 20 70 2e | 33 35 66 66 2e 3a 20 54 |OTES, p.|35ff.: T|
|000018d0| 68 69 73 20 6d 61 74 65 | 72 69 61 6c 20 73 68 6f |his mate|rial sho|
|000018e0| 75 6c 64 20 73 74 61 79 | 20 73 6f 6d 65 68 6f 77 |uld stay| somehow|
|000018f0| 2e 20 20 57 65 20 6e 65 | 65 64 20 74 6f 0a 20 20 |.  We ne|ed to.  |
|00001900| 20 20 6d 61 6b 65 20 69 | 74 20 63 6c 65 61 72 20 |  make i|t clear |
|00001910| 74 68 61 74 20 52 24 5e | 33 24 20 53 63 68 65 6d |that R$^|3$ Schem|
|00001920| 65 20 69 73 20 6e 6f 74 | 20 62 65 69 6e 67 20 74 |e is not| being t|
|00001930| 6f 75 74 65 64 20 61 73 | 20 59 65 74 20 41 6e 6f |outed as| Yet Ano|
|00001940| 74 68 65 72 0a 20 20 20 | 20 55 6c 74 69 6d 61 74 |ther.   | Ultimat|
|00001950| 65 20 53 6f 6c 75 74 69 | 6f 6e 20 54 6f 20 54 68 |e Soluti|on To Th|
|00001960| 65 20 50 72 6f 67 72 61 | 6d 6d 69 6e 67 20 4c 61 |e Progra|mming La|
|00001970| 6e 67 75 61 67 65 20 50 | 72 6f 62 6c 65 6d 2c 20 |nguage P|roblem, |
|00001980| 62 75 74 20 72 61 74 68 | 65 72 0a 20 20 20 20 61 |but rath|er.    a|
|00001990| 73 20 61 20 73 6e 61 70 | 73 68 6f 74 20 6f 66 20 |s a snap|shot of |
|000019a0| 61 20 2a 70 72 6f 63 65 | 73 73 2a 20 6f 66 20 67 |a *proce|ss* of g|
|000019b0| 6f 6f 64 20 64 65 73 69 | 67 6e 2c 20 66 6f 72 20 |ood desi|gn, for |
|000019c0| 77 68 69 63 68 20 6e 6f | 74 20 61 6c 6c 0a 20 20 |which no|t all.  |
|000019d0| 20 20 61 6e 73 77 65 72 | 73 20 68 61 76 65 20 79 |  answer|s have y|
|000019e0| 65 74 20 62 65 65 6e 20 | 66 6f 75 6e 64 2e 20 20 |et been |found.  |
|000019f0| 57 65 20 61 6c 73 6f 20 | 6f 75 67 68 74 20 74 6f |We also |ought to|
|00001a00| 20 75 73 65 20 74 68 65 | 20 6f 70 70 6f 72 74 75 | use the| opportu|
|00001a10| 6e 69 74 79 0a 20 20 20 | 20 66 6f 72 20 70 75 62 |nity.   | for pub|
|00001a20| 6c 69 63 69 74 79 20 61 | 66 66 6f 72 64 65 64 20 |licity a|fforded |
|00001a30| 75 73 20 62 79 20 53 49 | 47 50 4c 41 4e 20 74 6f |us by SI|GPLAN to|
|00001a40| 20 61 64 76 65 72 74 69 | 73 65 20 73 6f 6d 65 20 | adverti|se some |
|00001a50| 6f 66 20 74 68 65 20 74 | 68 6f 72 6e 79 0a 20 20 |of the t|horny.  |
|00001a60| 20 20 75 6e 73 6f 6c 76 | 65 64 20 70 72 6f 62 6c |  unsolv|ed probl|
|00001a70| 65 6d 73 20 74 68 61 74 | 20 6e 65 65 64 20 66 75 |ems that| need fu|
|00001a80| 72 74 68 65 72 20 72 65 | 73 65 61 72 63 68 2c 20 |rther re|search, |
|00001a90| 61 6e 64 20 65 6e 63 6f | 75 72 61 67 65 0a 20 20 |and enco|urage.  |
|00001aa0| 20 20 6c 61 6e 67 75 61 | 67 65 20 64 65 73 69 67 |  langua|ge desig|
|00001ab0| 6e 65 72 73 20 74 6f 20 | 77 6f 72 6b 20 6f 6e 20 |ners to |work on |
|00001ac0| 74 68 65 6d 2e 7d 0a    |                         |them.}. |        |
+--------+-------------------------+-------------------------+--------+--------+